size(k;f) == primrec(k;0;n,m. if f(n) then 1 else 0 fi +m) 

latex

Definitions	primrec(n;b;c), x.A(x), n+m, if b then t else f fi , f(a), #$n
FDL editor aliases	bool-size